Safety Criticality Analysis of Air Traffic Management Systems: A Compositional Bisimulation Approach
نویسندگان
چکیده
Detecting safety critical situations that may arise in the evolution of Air Traffic Management (ATM) systems is of primary importance in the analysis of their behavior. The inherent complexity of ATM systems, typically involving a large number of agents, makes this analysis prohibitive today. Compositionality has been an effective way of tackling this problem. We present a compositional framework to accurately describe the behavior of the agents operating in ATM scenarios and of their interaction. We then expose some results that reduce the computational effort required in detecting safety critical situations. Benefits from the use of this approach are illustrated on a future Terminal Manoeuvring Area operation design.
منابع مشابه
Safety Analysis and Evaluation of an Air Traffic Control Computing System
The French Air Traffic Control is based on an automated system referred to as CAUTRA (Coordinateur AUtomatisé du Trafic Aérien). The CAUTRA is implemented on a distributed fault-tolerant computing system installed on five enroute traffic control centers and one centralized operating center, that are connected through an aeronautical telecommunication network. The CAUTRA mission is to provide co...
متن کاملA Compositional Hybrid System Approach to the Analysis of Air Traffic Management Systems
In Air Traffic Management (ATM) systems catastrophic events may be caused by error propagation in a multiagent procedure [SBdP03]. The inherent complexity of these systems typically involving many agents makes their analysis prohibitive today. We approach the analysis of multi–agent ATM systems using compositional hybrid systems techniques. Hybrid systems formalism is shown to capture the dynam...
متن کاملDistributed Control and Stochastic Analysis of Hybrid Systems Supporting Safety Critical Real-Time Systems Design WP4: Compositional Specification of Stochastic Hybrid Systems Semantics, bisimulation and interaction- structures for the CPDP model
متن کامل
Formal Analysis of Air Traffic Management Systems: the Case of Conflict Resolution and Recovery
New air traffic management concepts distribute the responsibility for traffic separation among the several actors of the aerospace system. As a consequence, these concepts move the safety risk from human controllers to the onboard software and hardware systems. One example of the new kind of distributed systems is air traffic conflict detection and resolution. Traditional methods for safety ana...
متن کاملIncluding Safety during Early Development Phases of Future Air Traffic Management Concepts
Safety should be designed into future air traffic management systems from their very conception, which can be achieved by integrating powerful hazard analysis techniques into the general systems engineering process. The primary barrier to achieving this objective is the lack of effectiveness of the existing analytical tools during early concept development. This paper introduces a new technique...
متن کامل